step(ii,al,tm(s,[ctxm(pi_,idp1,ip,ip_ii,ip_ii),ctxm(pi_,u,ip,ip_al_1,ip_al_1)],pri(enc,[pri(lst,[ctxm(pi_,u,d_1,id_1,cd_1),ctxm(pi_,u,d_2,id_2,cd_2),ctxm(pi_,u,d_3,id_3,cd_3)]),pri(aka,[ctxm(pi_,dot,kM_c,kM_c,kM_c),ctxm(pi_,dot,n_a,ss(pi_,i_n_a),ss(pi_,c_n_a)),ctxm(pi_,idp1,kM,kM_ii,kM_ii),ctxm(pi_,dot,n_b,ss(pi_,i_n_b),ss(pi_,c_n_b))])]))).
